System programming language

Results: 2012



#Item
501Programming language theory / Type theory / Fixed-point combinator / Simply typed lambda calculus / System F / Typed lambda calculus / Type system / Generalized algebraic data type / Entailment / Theoretical computer science / Software engineering / Lambda calculus

Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer

Add to Reading List

Source URL: www.daimi.au.dk

Language: English - Date: 2009-03-29 13:41:42
502Programming language implementation / VM / Emulator / Computing platform / Group Control System / System software / Software / Virtual machines

VM Emulator Tutorial This program is part of the software suite that accompanies the book The Elements of Computing Systems by Noam Nisan and Shimon Schocken

Add to Reading List

Source URL: nand2tetris.org

Language: English - Date: 2012-07-22 23:55:40
503Debugging / SIGPLAN / Compiler / Computing / Embedded operating systems / Real-time operating systems / Formal methods / Programming language implementation / Software / Embedded system

LCTES 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (In conjunction with PLDITucson, AZ, USA, Junehttp://lctes08.flux.utah.edu/

Add to Reading List

Source URL: lctes08.flux.utah.edu

Language: English - Date: 2007-12-03 13:30:29
504Compiler construction / Clang / LLVM / Chris Lattner / GNU Compiler Collection / Just-in-time compilation / Compiler / Software / Programming language implementation / Compilers

Introduction to the LLVM Compiler System Chris Lattner llvm.org Architect November 4, 2008 ACAT’08 - Erice, Sicily

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2010-02-25 20:19:41
505Dialog box / Modal window / Mode / Qt / Open Programming Language / Software / System software / Graphical user interface elements

Qt Essentials - Dialogs Module Training Course Visit us at http://qt.digia.com Produced by Digia Plc. Material based on Qt 5.0, created on September 27, 2012

Add to Reading List

Source URL: d3hp9ud7yvwzy0.cloudfront.net

Language: English - Date: 2014-09-19 08:37:14
506Boolean algebra / C programming language / Data types / C++ / Boolean data type / Bitwise operation / C / FALSE / Expression / Computing / Software engineering / Computer programming

cba This is a chapter from the book System Design, Modeling, and Simulation using Ptolemy II This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License. To view a copy of this license, v

Add to Reading List

Source URL: ptolemy.eecs.berkeley.edu

Language: English - Date: 2013-12-10 01:22:40
507Neuroscience / Computational neuroscience / Neural networks / Neurophysiology / Neuron / D-subminiature / Biological neuron model / Synaptic weight / Biological neural network / Biology / Mind / Nervous system

Cognitive Computing Programming Paradigm: A Corelet Language for Composing Networks of Neurosynaptic Cores Arnon Amir, Pallab Datta, William P. Risk, Andrew S. Cassidy, Jeffrey A. Kusnitz, Steve K. Esser, Alexander Andre

Add to Reading List

Source URL: dl.dropboxusercontent.com

Language: English
508Dialog box / Computing / Open Programming Language / File managers / Windows Vista / Windows Explorer / Features new to Windows 7 / Graphical user interface elements / Software / System software

Download Manager V0.8­beta­r262 Release Notes    New Features and Changes    ● The progress bar has been replaced with a progress column in the table.  ● Table columns can be hidden/show

Add to Reading List

Source URL: viewer.nationalmap.gov

Language: English - Date: 2015-03-04 15:22:07
509Compilers / Assembly language / Programming language implementation / GNU Compiler Collection / Endianness / Itanium / Debian / GNU Binutils / Software / Computing / Instruction set architectures

TM SANKHYA Tools Collection System-on-Chip developers need a cost effective, single-stop solution for all their development needs to achieve increased efficiency and to reduce the overall time-to-market. The SANKHYA Too

Add to Reading List

Source URL: www.sankhya.com

Language: English - Date: 2013-11-04 16:37:49
510Delphi programming language / Embarcadero Delphi / Pascal / Log4j / Software / Computing / Computer programming

What’s New in CodeSite 5 The CodeSite Logging System gives developers deeper insight into how their code is executing, which enables them to locate problems more quickly and ensure their application is running correctl

Add to Reading List

Source URL: www.raize.com

Language: English - Date: 2011-12-13 00:11:16
UPDATE